Directed Containers as Categories
نویسندگان
چکیده
Directed containers make explicit the additional structure of those containers whose set functor interpretation carries a comonad structure. The data and laws of a directed container resemble those of a monoid, while the data and laws of a directed container morphism those of a monoid morphism in the reverse direction. With some reorganization, a directed container is the same as a small category, but a directed container morphism is opcleavage-like. We draw some conclusions for comonads from this observation, considering in particular basic constructions and concepts like the opposite category and a groupoid.
منابع مشابه
Update Monads: Cointerpreting Directed Containers
Containers are a neat representation of a wide class of set functors. We have previously [1] introduced directed containers as a concise representation of comonad structures on such functors. Here we examine interpreting the opposite categories of containers and directed containers. We arrive at a new view of a di↵erent (considerably narrower) class of set functors and monads on them, which we ...
متن کاملWhen Is a Container a Comonad?
Abbott, Altenkirch, Ghani and others have taught us that many parameterized datatypes (set functors) can be usefully analyzed via container representations in terms of a set of shapes and a set of positions in each shape. This paper builds on the observation that datatypes often carry additional structure that containers alone do not account for. We introduce directed containers to capture the ...
متن کاملThe Contemporary Theory of Metaphor
inferences as metaphorical spatial inferences Spatial inferences are characterized by the topological structure of image-schemas. We have seen cases such as CATEGORIES ARE CONTAINERS and LINEAR SCALES ARE PATHS where image-schema structure is preserved by metaphor and where abstract inferences about categories and linear scales are metaphorical versions of spatial inferences about containers an...
متن کاملDistributive Laws of Directed Containers
Containers [1] are an elegant representation of a wide class of datatypes in terms of shapes and positions in shapes. In our FoSSaCS 2012 work [2], we introduced directed containers as a special case to account for the common situation where every position in a shape determines another shape, informally the subshape rooted by that position; some examples being the datatypes of nonempty lists an...
متن کاملPriming infants to use pattern information in an object individuation task: the role of comparison.
There is evidence that 4.5-month-olds do not always use surface pattern to individuate objects but that they can be primed to attend to pattern differences through select experiences. For example, if infants are first shown events in which the pattern of an object predicts its function (dotted containers pound and striped containers pour), they will attend to pattern differences in a subsequent...
متن کامل